perm filename CMTC10.300[CM,DEK] blob
sn#794148 filedate 1985-05-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔εRp→'#λ~π∧ DbA@↓`UλαT Uλ↓ %λ↓ %↓@ 5↓@ 5↓@ 5↓`$x↓@`4x↓@`4x↓@`4x↓@`4p↓A 4p↓A 4p↓A 4p¬SA4hεS 08↓S 08↓S 08↓RA_∧∩A_∧∩A_∧⊃(D⊂ ∧c↓@β) x%∧ P_β@iP_∧iP_∧iP_∧iP_∧iP_β@iP_β↓ P`&C)P_βA P_∧iP_∧↓ P_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧↓ P_βA !λ%∧ x"Qλ1λ Fβ8αA∀x∧@@∀pεS P(α∪@@↓S0H↓R`0P↓R`4X↓R@4P↓R@4P↓R@4P↓R@4X↓R`4X↓B@4`↓B 4`α↓`4hαA 4p¬Sa∃λαQ(D Dc↓@β) x%∧ P_β↓)P_βA P_∧↓ P_∧↓ P_∧@iP_∧A P_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_∧A P_∧@iP_∧@iP_∧↓ P_βA P_β↓)!%βi h"QλQ_
εβ ∩B$P ∪ 0H↓S 0H↓S 0H↓S 0H↓S 4h↓S 0(↓S 0(↓S!4h¬S!4h↓A 4h↓A 4h↓S 0P↓S 0P↓S 0P↓S 0P↓S 0P↓RB4P RB4("⊃B1 ε↓_%∧i!_&@a _&@a _&@a _&@a _&@iP_&@`P_&@`P_&BiPX&BiP_α@iP_α@iP_&@iP_&@iP_&@i P%αI P"Qλq⊂
εβ8α↓∀x∧@∀pε∪ P α∪@8↓S0@↓R`0H↓R`4X↓R@4P↓R@4P↓R@4P↓R@00∧R`0(∧R`0(∧R`@@↓S08α∪@0α∪ P_αSADx¬T @⊂↓Q(D@ Eβ↓@α0@%α0@%α0@&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&C)Ph&C)P_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@i @↓B @↓B @↓BλT $Cb!@↓tPπRAu↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓RAtPπRAt("∩B↓_εPX'BipX*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_%@@p_%↓`_%↓P %Bi@H'↓(T %DbA@p0β∩@p0β∩@p0β∪ ⊂PS ⊂HS ⊂@S ⊂8S ⊂8S ⊂0S ⊂(S ⊂ S ⊂(S ⊂_@ ∀h@@⊂_S ⊂λA ∀h↓↓@∀h↓↓`∀hB∀hB ∀hB ∀hB@∀hB@∀PβA@dPβA@dPβA@d("∪α1 εP%αI P&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@a _&@a _&@a _&@a _&@a _%∧i!_%∧hT &D"1@@Hα∩@@Hα∩@@Hα∪⊂λA`⊂λS⊂λA`⊂λS⊂λA`⊂λS⊂⊂A ⊂⊂S⊂⊂A ⊂⊂S⊂⊂A ⊂⊂S⊂⊂↓` ⊂S⊂_@`⊂_S⊂_@`⊂_S⊂_@`⊂_S⊂ @ ⊂ S⊂ @ ⊂ S⊂ @ ⊂ S⊂(A ∀`B`∀`B`∀`B`∀`B`∀`B`∀PαA`TPαA`TPαA`T("∪B⊃_ε(αAi (αAi 0α↓iPλ@ pλ&@ ⊂λβ@)Pλ@@`λ&@ λβ)Pλ↓ `λ&@ 0λα@)Pλ↓@ Pλ&@ 0λα@)Pλα @λ&@ @λα)Pλα @λ&@ Pλ↓@)Pλα@ 0λ&@ Pλ↓@)Pλβ λ&@ `λ↓)Pλβ@⊂λ&@ pλ@)Pλβ@ ⊂λ%↓`@_%↓`P⊂%↓`P⊂"Q qλ Fβ ∧S↓TXπR`@8α∩`0H↓R@@Hα∩@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@@Hα∩`0H↓R`@8α∩at`εSA∀("∀α!_εh%βi!&@`p &@a_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a_&@`p &C)P`&BIP_&@iP_&@iP_&@iP_%α) H%α(T (D"1p↓↓∀`εRatXα↓`DX↓B 4Pαα DP↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓A 0_↓R@@(↓@DX↓A 0λ↓R`@(β∩at`εSA%0↓∃@58↓∃`5@↓⊗4("∀BA(εX%β) p&@`P &@``_&@`p_&@`p_&@`p_&@`p_&@``_&@`P &BiPP&BiP_α@iP_βiP_βiP_βiP_βiP_βiP_βiP_β` _%α 0@%α @0%α P "Q
1λ Fβ β↓ ∀`¬`∀Xε $X↓A@dP↓B DP↓B@4P↓B@4P↓R@DXαSth∧Sa∃⊂βU@E8↓V5@↓R@0X↓R@@P↓R@PH↓∩@`8↓R@ λε∩@⊂_¬∩@⊂(β⊃(E Eβ↓@∧i!_%∧i _α@`P_%`P_α@i _α@`P_%`P_α@j _)j _)j _)j _)j _)j _)j _)j _'αi`X'αhT *E"Q@↓⊂_∧RA⊂_∧RA⊂_∧S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S @8α∪@08↓S@@(α∪a5∧T@T("∃B1 ε8αAi 8αAi 8αAiP_β@iP_β@iP_β@iP_β@i`_α@i`_α@i`_α@i`_α@ip⊂α@Ip_↓@ip_↓@ip_↓@ip_↓@j⊂↓@J_@j_@j_@j⊂⊂@J⊂⊂@J⊂((A* _"Q
q(
FβαB`TPαB`TPαB`T`C`∀hC ∀hC ∀hC ∀hC ∀hC ∀hC ∀hA@⊂0S@⊂ @ ⊂ S@⊂ @ ⊂ S@⊂ @ ⊂ S@⊂ @ ⊂ S@⊂_@`⊂_S@⊂_@`⊂_S@⊂_@`⊂_S`⊂⊂@`⊂⊂S`⊂λA ⊂λS`⊂λA ⊂λS`⊂λA ⊂λS`⊂λA ⊂λS` 8↓∪` 8↓⊃(E@ Eβ↓@α08%α08%α08'`@ '`@_'@` '@` _(↓j0(A*⊂ )j⊂ (A*⊂((`⊂_(`⊂_'@`0_'@`0_'`@ '`P_&@`` %α0@%α0@%α0@"Q⊃(
Fβ∧↓!∧P∧↓!∧P∧↓!∧hα↓`Dp↓A`4pα↓ Dx↓A 4xα`E↓@`5↓@`5λ↓@ 5λ↓@ 5⊂αT@U_↓T`5_↓T`5_↓T`5_↓T`5∧T↓∃∧Q(EPλDc↓@∧)!λ%∧) _¬i _∧A _∧@i _∧j@ *j0_)↓
⊂ (@j 'A p_'iP β@iP_∧i@_∧@i0 ∧@i0_¬i!λ%∧)!λ"Q↓_
εβ RB4P S 0P↓S 0P↓S 0P↓S 0P↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P¬∩A$P¬⊃(@λ Eβ↓@βA*⊂((A*_@j_@j_@j⊂↓@Ip_↓@ip_↓@ip_↓@i`_α@i`_α@i`_α@iP αA P_β@iP_β@i@ βA @_∧@i@_∧@i@_∧@i0_¬@i0_¬@i1λ%∧i!_"Q!λ Fβ ∧S↓TXπR`@8α∩`0H↓R@@Hα∩@0X↓R@0X↓R@0X↓R@0X↓R@0_α@`4P↓@`P_↓R@0_α@`4P↓@`P_↓R@0_α@`4P↓B`4P↓B`4P↓B`4P↓B`4Pαα DX↓B 4Xα↓`DXπS↓Tp∧Q(@_ Eβ↓@βA*⊂((A*⊂⊂@J⊂⊂@J_@j_@j_@j⊂↓@Ip_↓@ip_↓@ip_↓@ip_↓@i`_α@i`_α@i`_α@i`_α@i`_α@iP_β@iP_β@iP_β@iP_β@i @↓B @↓B @↓BλT α∧bA@"∀XλRb∀X↓B`4X↓B`48α↓0(↓SA4p¬SA4p↓A 48β0h↓R@0h↓RB4P RB4("↓"1 ε↓_%∧i!_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_%α0@%α0@%α0@"Qaλ FβλRB∀PλR`0P↓R`0P↓S0H↓S 0@↓S 4p↓S@Dx↓T5α∀4xα∪`4pα∪@4hα↓`4h↓B4`↓B 4`↓B 4Xλ∩b∧PλQ(@8λDc↓@↓↓ 0(%A`⊂8%↓ ⊂@@ %`0⊂@@0_%`@_αj⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_'α)`H'α(T ∧∧"1@↓↓∀p∧SA∃αSA∀h¬S@λ↓@ DXα@0⊂α∩`0_↓@`4Pα`0_α∩@0 ↓A4P↓A0 ↓R@0 ↓A4P↓A0 ↓R@0 ↓A4Pα`0_α∩`0_↓@`4Xα@0⊂α∪@λ↓@ Dh¬SA∃αSA∀p∧SA∀("α"⊃_ε@H'α)`H%`@_αi ↓@`0 %↓0_↓A 0_↓@`0_%@`0_↓@i0_↓@`0_%@`0_↓@i0_↓@`0_%@`0_↓@i0_↓@`0_%@`0_↓@i@⊂↓@`0⊂&@0_↓@I@_↓` _&@@ _↓IP_@`⊂_'α)p8(@i`H'α)`H"Q↓!_
εβ8αSa∀p¬S @(α∪0H↓S0H↓R`0X↓R`0X↓R`0X↓R`0X↓R`0X↓R`0X↓S0H↓S0H↓S0H↓S 08↓S 08↓S 08↓S@0(↓S@0(↓R@⊂_↓A 0_R@⊂ ↓@`0 RA_∧∩A_∧∩A_∧⊃(CλDc↓@β↓)`H&Bi@ αA @_β@i0_∧@i0_∧@i0_∧@i _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i ∧A 0_∧@i0 βA 0 βA @ αA @(↓A)PX'α*("Qε⊂p εβ@T %λ↓∀4pαRA∀P∧R@@⊂↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓RaTXεRaT("B⊃_εP8&Bi@h%@`p(%a _%↓↓ _%↓↓ _%@A0_,k_+@jp_+jP_*j (@j_'@i`_&a⊂_%@a _%∧)!λ%∧(T →D"1@↓ th¬S↓TXα↓@TXαα4Xαα4`↓α 58↓U@5 αSa∀x∧∪a∃(α∃`5@↓V4X↓α`4Pαα@4Pαα@4Pαα 4PαA@TXπ∪↓Dp∧⊃(C Eβ↓@∧A
0⊂@* ⊂↓*⊂_↓*⊂⊂↓@*_↓@*⊂α)p_α)p⊂α@)`⊂β)P_β)P⊂β@)@_β@)@⊂∧)0⊂∧@)0⊂∧@)!_%∧i!_+*`λ+* H)α* H"QεQλ Fβ⊂εS4`↓S4`↓S4`↓S4`↓S4`¬∪↓D`εU@E8↓V5@↓R` X↓R@@P↓R@@P↓∩@0P↓R`@0α∪↓Dh¬∪`d("
B⊃_εp8'BI``&A P_&↓` &`p %@a⊂⊂%@i ↓AI _BI x%↓`P %↓!_%↓↓ _%↓↓ _%a0_%a0_%↓↓ _%@a _%@a⊂_&`p &↓P &Bi`H(↓(T ≠D"1H@4PλRB∀PλR@0P↓R@0H↓U 5 α∃5_↓T@E⊂↓T Eλ↓T 5↓T5↓T4x↓S`4x↓S`4x↓S`5Q(C@λDc↓@β↓IPX&β)0(αA) ∧@i _¬@i _¬@i _¬@i ∧A 0(αA)@h'B PX&↓ P_%A↓_%↓↓ ⊂%a0_%a0_%a0_%↓↓ _%A↓_%A@P &β)PX(↓HT ≤D"1@↓@Tp∧S!4`αADXα↓`4X↓B 4P↓B@4P↓B@DP↓B`4P↓B`4P↓B@DP↓B@DX↓BTXα↓ t`πS! λ↓S@`_α∃`4`↓α 4Xα↓`4Xα↓@DX↓A TXε∪↓$hβQ(B λDcq`β@j⊂_(@j⊂_'AiPX&β)0(@`⊂(%↓0_↓A _α`@_%`@_↓A _α`0 %↓0_αI0(@i@@&B)pH(B
⊂_↓↓
⊂_↓@i0⊂α`@_%↓0_αi ↓@`@_%`@_αi0_↓@`0_%A ⊂_A)@h&Bip8(@j⊂_(@hT ∪∧bA@↓@4xαS`Tx@`∀x@`∀x@`∀x@`∀x@@ ⊂βS`⊂λ↓@@txα`txα↓ ∀pα↓@∀hα↓@∀`αA@∀Xα@⊂ ↓∩`0_A∀P↓A ⊂_R@0(@@$P↓A@⊂λR@00↓R@00↓↓@∀X↓A@(Ra⊂λβSp_αS P(↓Q(CxπDC↓@α↓i@X%C) (β↓ ∧i ∧i0⊂βA*0()↓*⊂ (@j_(j_(j_#A `⊂'A p (HT πCb!@πA@$xα∪`E↓⊃`P0↓T5↓S`Dxα∪@DhαSTXαR@P8↓∩@0@α∩@0@α∩@@0αRaT`¬S@t("π"1 ε@x'βi`x'@ λ∧@* λ∧@* λ∧@)`λ↓@!⊂λ' 0λ' 0λ' 0λ' 0λ' 0P)αIPλααIPλα)P0&AIP0∧@)Pλα!⊂λ)!⊂λ)!⊂λ& Pλ∧@) ↓C ↓C ↓CλT ∂∧bA@B∀X ∩b$P↓A@ 8R@ @A`∀P↓α⊂8R@⊂HA`∀PB ∀PB ∀PB ∀PB ∀PB!∧PB!∧PB!∧PB ∀PB ∀PB ∀PB ⊂8R@⊂HA`∀P↓α⊂8R@ @A`∀P↓A@ 8Rb$X ∪α∀("πb⊃_∂G↓@⊂+jP *@i`P&β)0x%@@p_@I0λβA λ%@p_↓@I λ∧`@λ% p α) λβ@`Pλ% p_α@) λβ↓Pλ% `_β) λβ``λ% P β) λα@`pλ% P_β@) λα↓pλ% @_∧) λαaλ%@ β@I0λ↓aλ%@@⊂_β@I0x&β)PP&↓ @_'(T ⊂A↓Q@ $Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DX↓⊃`Pλ↓∩@DPα∩`$("β@@hβ`⊂⊂%↓ %@Hp(@I %↓ %↓ %↓ %↓ %↓ %↓ %↓ 0⊂"Q∧1_
εβ0↓A5↓A5↓A5↓A5↓A5↓A4P RB4P S`0 ↓S`0 ↓S`0 ↓S@0 ↓S@0 ↓S@0 ↓S@0 ↓RB4P RB4h↓A4h↓A4h↓A4h↓A4h↓A4h↓A4(" "1 ∂G _¬I0(∧i0(∧i ⊂↓@@`_% Pλβi λα@ P_% Pλα@i λα@ P_%@0⊂αi0(α@i0(αi@_α@j0_)@j0_)j _(@j⊂_(@j_(`P_'@`P('@`P('`P⊂↓@I`_α@ Pλ'`Pλα@)P_β Pλ&@``⊂↓@I@_∧↓)@_∧↓)P⊂∧@hT ∪AA``@4XαR`T`α∪ 4h↓S 4h↓S4Xα∩@DP↓R`∀("
↓1λ⊂π↓_(↓ p_'iP_&@i@_&i0_%@i0_%i _%i _%i _%i _%i _%i0_%@i0_&i@_&@iP_'ip_(↓
_"Q¬⊂XπHβ@↓R`Dh↓S@4x↓S`5↓T5λ↓T 5λ↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5λ↓T 5λ↓T5↓S`4x↓S@4h↓R`DP↓Q(BPλDb⊃(β@j⊂_(@j⊂_%`@_αi ↓@`0 %↓@⊂_AI@h'α)`H&β) 0@`⊂0%↓0_↓A _α`@_(@j⊂_(@j⊂_"Q¬1λ Dα@8↓T 5λ↓T 5λ↓T 5λ↓RB∀PλRB∃λ↓T 5λ↓T 5λ↓T 5⊂↓⊃(B`βCA ↓i0(%AI00&↓)`_'IP_%A 0_&(T ↔↓!P α 4PαR@TPαR`4("b⊃_∂G↓p⊂,k_+@jp_+j`_*@jP_*j@_)@j0_)j _(@j⊂_(j_'@ip_'i`_&@iP_&i@_%@i0_%i _%HT ≥↓!Qλλ@ 4PαR@TPαR`48∧ 4PαR@TPαR`4("∞``hD _%A)0(%A)@_#B _%A)0(%A)@ &@i@ &i0 %@i@λ"QπQλ BB⊂λRB∀PλQ`PλRB∀PλQ(D ¬β↓@βAIpP'β P β↓ @_β`⊂⊂&@`(@)0⊂βα)0λβ@P_%@`λβ@I λβ@p⊂% `λ∧@) λβ!⊂λ% `λ∧@) λβ!⊂λ% `λ∧@) λβ@p⊂%@`λβ@)0λβ@P⊂%@@`8&@`(&``_&Ap 'β)pX(AhT -BB1x∞↓$P¬∩A$P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P¬∩A$P¬⊃(Eh¬ββq`αI P%αJ⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@i P%αI P"Q0πββ0 S 4`α∩`DX↓R@4P↓R@4P↓R@DPαR`D`↓⊃(A⊂∧β A@@I (%AiP('@HT Bα ↓ $hαR@tPαR`$("¬↓1α¬`⊂β@I (A) X&↓ipλ"QαPx ↓#↓B 4Pα↓`DXα↓ D`¬S!∀xαQ(A0πD@!0βi x%βhT Aa` TPβR@ _↓∩@tXαQ(A@¬D!⊂αi`('↓J⊂ )j _(↓) P%α) 0"Q`hλA#0S@T`∧R`PλαR`0(↓Q(GpεD a@α@@@λ'` &A⊂ &α)0 A ↓i0λαHT ?Bb_@ (↓∩@@_α∩@@_α∩` (↓⊃(BhλD` h∧)!λ%∧(T εβb!@↓`∃↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T4P↓@`0_↓R@Pλ↓@ TPπS↓4pβS`U↓T ∀("αaq⊂εpλ(ip('↓i@X%βi (@`⊂(%`0_↓@j_(j_(j_(j_(j_(j_(j_(j_(j⊂λ"QπAλ Eα`p↓U`E(αUU⊂αT TxαS@T`αR@dPα∩@d`αS@TxαT U⊂αUU(αU`E@↓Q(CpλDbA0i %A)@('↓)p((A* (*↓*P0+A
P0*↓* ((A)p('↓)@(%A) %hT_¬x␈␈␈␈x⊂↓_␈␈␈␈`␈␈␈␈p∧)!λ%∧(T .∧"1x∞$P↓R@4X↓R`4`↓S4h↓S 4p↓S@4x↓S`5↓T5λ↓T 5⊂↓T@5_↓T`5 ↓U5(↓U 50↓U@58↓U`5@↓V5H↓⊃(G`↓Cβq`i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _"Q∂1λ Gc@PβTA∃λ¬∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T4P∧∩@tPβ∩A¬↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T!%⊂∧Ut("∨"⊃_∂G8%α) P(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_)j0@*↓jP0)B
_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_%αI H%↓hT ⊃β"⊂P@ 8↓∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩` 8↓⊃(@hαC!!H@i (%↓) (%↓) (%↓) (%@i0_%@hT ⊂∧"0x∧@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩B∀PλQ(Fλ Eα1_∧j⊂((A*⊂((`⊂_(`⊂_(`⊂_'@`0_'@`0_'@`0_'@`0_'`P_'`P_'αiPh&C)P_β@i 8αAi 8αAi 8αAhT 1∧"1_ @↓DPπ∩At`↓A`D`↓B4`↓B4`↓A`D`εS↓4`εS08α∪0@↓S0H↓S0H↓S0H↓S0H↓S0@↓RB∧PπRAT("_b⊃_ D``0↓@I`P@IPp&↓@@(%A p %A↓⊂_%↓↓ _%↓ _%i _%i %↓↓ _%A↓⊂_%A p &↓@@ &C `P(↓HT 2∧B1_ @↓DPπ∩At`↓A`D`↓B4`↓B 4`↓B 4`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`↓B 4`↓B 4`↓B4`↓A`DPπRAdPε⊃(F( ¬α1_∧)!λ%∧)@_∧@i@_∧@i@_∧@i@_α@i@_α@i@X&αi@X&`P_&`P_&i@_¬i@_¬i@_¬i!⊂%∧I!⊂"Qa⊂
∧b0 ∩B$P ∪0P↓S0P↓S0P↓S0(↓S0(↓S↓4`¬S↓4`↓A 4`↓A 4`↓S4`↓S4P∧∩A∧P∧⊃(F8 ¬α1_β↓ 0⊂'α ⊂⊂&C)@(α↓)0(β↓ 0 ∧i ∧@i %i _%i _βα) αB) αB)0 βA 0(β↓ @(α↓)Ph'β
(↓hT 4∧"1_ @p_βR@p_βR@p_βS08↓S08↓S08↓S08↓S08↓S↓T`εS↓T`↓A`4`↓A`4`↓A`4`↓A`4`↓A`4`↓A`4Pβ@`tPβ@`tPβ@`t("~!Qλ D`h%β) h'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_%β) h%β(T 5βb!_ AA∃∧T↓∃ ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U4X↓↓`4Pα↓ DPεRAD`∧⊃(FX ¬α1_↓@`(%↓@`(%↓@`(&@p_&@`_&@P_&@@_&@0_&@ &@⊂(&↓ ⊂_&↓0_&`P⊂&@p⊂&@p_&A⊂&A⊂⊂%↓@p(%↓@p(%↓@p("Q
A⊂
∧b0∧∩A∧P∧∪4`↓S4`↓S4`↓S4`↓S4`↓S4`↓B@4`↓B@4`↓B@4P ∩B$P ⊃(Fh Eα1_↓!⊂(%↓@p0%↓@p0&↓p &@⊂⊂α@@⊂⊂&@⊂⊂α@@⊂⊂&@ ⊂↓@@ ⊂&@ ⊂↓@@ ⊂&@ ⊂↓@@ ⊂&@0⊂@@0⊂&@0⊂@@0⊂&@@_αI@⊂α`@⊂&A0⊂&A0⊂&A0⊂&A0⊂%↓@p0%↓@p0%↓@p0"Q
aλ Db0αA@dPβ↓ dPβ↓ d`↓ 0↓∪ λ↓↓@$`↓ 0↓∪ ⊂↓↓ $`↓@ (↓∪ _↓↓$`↓` ↓∪ ↓`$`↓↓ _↓∪ (↓@$`↓↓ ⊂↓∪ 0↓ $`↓↓@ λ↓∪ 0↓ $Pβ↓ DPβ↓ DPβ↓@4("≠b⊃_ D`0X%Ci0x%↓↓⊂ %a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%↓↓⊂ %↓↓⊂ %↓ p(%Ci0x&BhT 8∧"1_ @↓TPπRB∧`↓A`D`↓BD`↓B 4`↓B 4`↓B 4`↓BD`↓A`D`π∪↓T`¬S4`↓S4`↓R@tPβR@t("≤"⊃_D`0X%Ci0x%↓↓⊂ %a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%`P_↓@i _α@`0_%↓P_A 0x%CiPX+J`_+@jp_"Q∞!_
Db0¬RATPπ∪00α∪08↓S08↓S08↓S00α∪↓D`¬S↓4`↓A D`↓A@4`↓A@4`↓A@4`↓A@4`↓A@0⊂↓R@p ∧∩@p(βR@p8α⊃(G_λDb1_α↓@@⊂&α@ ⊂%Ci β↓I _∧A _¬i %↓I0H&αipP*↓Jp ,i _¬@i ¬i 0βA !%@ X%@@8"Q∞A_
∧b0 RB4P R@0(↓A 4P↓A 0(↓R@0(↓A 5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓Sa∀x∧Sa∀("≥"1 D`8αAi 8αAi 8αAi@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@iP_β@iP αA `X'B*⊂("Q∞a_
∧b0β↓`dPβ↓`dPβ↓`d`↓B 4`↓B 4h↓A`4h↓A`4h↓A`4p↓A 4p↓A 4pα`Dx↓@`4x↓@`4xα E↓@ 5↓@ 5βT UλαT T("≥bQ( D`(¬A) (¬A) (¬A)@⊂ε@IPλε@)P⊂¬@IP⊂¬@IP⊂¬@IP⊂↓@@⊂⊂↓@IP⊂↓@@⊂⊂↓@IP⊂↓@@⊂⊂↓@I`⊂↓@⊂⊂↓I`⊂@@0⊂@I`⊂@@0⊂@I`⊂@@0⊂@I`⊂@ Pλ@I` αA p_α@ip_α@ip⊂β@HT <∧bA_ @ p_βR`p_βR`p_βS@0 ↓S@@⊂α∪`@λ↓Tuβ∀ E⊂↓T Uβ∀0λ↓S`0⊂↓S`0_↓S@0 α∪@0(↓R@p(βR@p(βR@p(βQ(GH Eα1_↓`P8%↓`P8%↓`P8&@`p_&AP '`P_'@`0_'A⊂ (`⊂_(↓j⊂()j _)j _)j _(↓j8(↓hT =∧"1_ @α∀PλRB∀P↓B DP↓BDP↓A`E_αT`E⊂α∀ Eα∪`Dpα∪ P0↓S @8↓S@@↓R`@H↓RB∀PλRB∀("εB1 D`@x'βi`x'@ ⊂β@I`⊂↓@p⊂'@ ⊂β@I`⊂↓IP_↓IP⊂↓BIP⊂↓BIP⊂↓BIP⊂↓@I@@&α @@β@I@⊂α@p⊂&@@⊂β@I ↓C ↓C ↓CλT
DbA_ @B∀X ∩b$P↓A@0(↓∩@ @↓↓ $P↓α (↓∩@ @↓∩@ @↓∩@ @∧∩@ @∧∩@ @∧∩@ @↓∩@ @↓∩@ @↓∩@ @↓↓ $P↓α (↓∩@00↓A $X ∩b$`λQ(A`λDc⊃0¬@jP_*@iPX%Ci0x%↓P@%``_↓i ⊂β↓0⊂%@` ↓@I ⊂β`@⊂%@P αI ⊂α@`P⊂%@P_α@I ⊂α↓P⊂%@@_βI ⊂↓A`⊂%@0 βI _↓``_%αP %Ci0x&BiP_&@iP_"QαhλDb0εRATPεS`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓RATPεRAT("∧!q⊂ D``H(α*H*j@_*j@_*j@_*j@_*j@_*j@_%@@p_%↓P %β) `&αλT Ie⊃_ A` ↓α@` ↓∪↓ ⊂↓α↓ ⊂↓∩ap8πR@@0β↓@@0β∩@0Hα↓@0Hα∩@0P↓A@0P↓R@A⊂α∩@aβ∩a⊂h∧S↓0X¬Sa `¬∃aβ∃`A⊂α⊗1_↓R@0X↓A 0X↓R@@P↓A @P↓R@`8α↓ `8α∩B0λ∩@ ⊂¬A` ⊂¬R@ βB βQ=q3≠mg 3_-VH6≡$∧_&Pj4_wH6x2~-f89Xmε(6Y$¬ 2V∧π <\W89~.F(9λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≥ >∩G@
≡X oX` ∪+@ ∪+@
?␈x␈⎇`π≡`↓ε01HZ⎇@⊃0αf⊂↓∨0{B`∧→L αJ←0↓E@@3_@¬/↑` ↓ε01X⊃⎇@Q0αf⊂↓5@{↓B`∧→L αw←0βE@@3_@ε↓↑`@↓ε01`)⎇A⊃0αf⊂↓L{αB`∧→L β'∨0¬E@@3_@E≡``↓ε01↓@i⎇AQ0αf⊂β20{βB`∧→L ∧wO0πE@@3_@λy}a↓
PR@α ≡⎇B⊃0α∃*(∧F`{∧B`∧→L ¬⎇o0 E@@3_@␈}a ↓ε01↓@λ=BQ0αf⊂βα({¬B`∧→L επo0E@@3_@∩}a@↓ε01↓@/=C∩`∧*TP∧Ix{εB`∧*TPλd∂0
E@@U) ⊃]}a`↓
PR@α_g=CQ0αf⊂α"{πB`∧→L ∧P␈0∂E@@3_@ >≡b↓ε01↓X!⎇D⊃0αf⊂α8X{λB`∧→L ε↑?0⊃E@@3_@ {>b ↓ε01↓]=DQ0αf⊂αD`{ B`∧→L ∧&␈0∪E@@3_@
5}b@↓ε01↓ |=E⊃0αf⊂αTλ{
B`∧→L ¬1/0∃E@@3_@
s>b`↓ε01↓({=EQ0αf⊂β0{B`∧→L ¬B?0↔E@@3_@ ≡c↓ε01hS=F⊃0αf⊂↓`({B`∧→L βH∂0→E@@3_@π!}c ↓ε01pi=FQ0αf⊂↓rH{
B`∧→L βmO0≠E@@3_@πq}c@↓ε01↓β=G⊃0αf⊂α¬x{∞B`∧→L ¬M?0≥E@@3_@"≡c`↓ε01↓H*⎇GQ0αf⊂αkλ{∂B`∧→L ε0o0∨E@@3_@λk↑d↓ε01↓0c=H⊃0αf⊂α_{⊂B`∧→L ⊂/0!E@@3_@7>d ↓ε01λ∃=HQ0αf⊂_H{⊃B`∧→L ;O0#E@@3_@↓ >d@↓ε01⊂==I⊃0αf⊂-x{∩B`∧→L c∂0%E@@3_@↓U}d`↓ε01_d=IQ0αf⊂@X{∪B`∧→L ↓∃O0'E@@3_@αO>e↓ε01(N=J⊃0αf⊂↑8{∀B`∧→L ↓K∂0)E@@3_@β.>e ↓ε018π=JQ0αf⊂u8{∃B`∧→L ↓wO0+E@@3_@∧λ>e@↓ε01@←=K⊃0αf⊂↓⊃H{⊗B`∧→L α-/0-E@@3_@O}e`↓ε01↓Hk⎇KQ0αf⊂αx0{↔B`∧→L ε∂∨0/E@@3_@m}f↓ε01↓8f⎇L⊃0α∃*(β80{_B`∧*TPεy␈01E@@U) ∞¬≡f ↓
PR@↓`+⎇LQ0α∃*(βJ⊂{→B`∧*TPπ≤←03E@@U) ∞H↑f@↓
PR@↓h5⎇M⊃0α∃*(β[`{~B`∧*TPπ=?05E@@U) ∂π↑f`↓
PR@↓p:⎇MQ0α∃*(βjP{≠B`∧*TPπd∨07E@@U) ∂e≡g↓
PR@↓xo⎇N⊃0α∃*(∧↓`{≤B`∧*TPλ∞←09E@@U) ⊂0↑g ↓
PR@αλα⎇NQ0α∃*(∧∀{≥B`∧*TPλ2∨0;E@@U) ⊂x≡g@↓
PR@α⊂+⎇O⊃0α∃*(∧*⊂{≡B`∧*TPλ\?0=E@@3_@
→>g`↓ε01↓P∂=OQ0αf⊂β*`{∨B`∧→L ε⊃o0?E@@3_@+␈⊂ ,X_ow{⎇x